/*
 * rampdowntimer.h
 *
 *  Created on: 2015-04-09
 *      Author: atreyu
 */

#include "masterIncludes.h"

#ifndef RAMPDOWNTIMER_H_
#define RAMPDOWNTIMER_H_

void initTimer3(void);
void timer3Handler(void);

#endif /* RAMPDOWNTIMER_H_ */



